(!x).P
(!!x).P

(+x).P
(+.x).P

(-x).P
(-.x).P

(%x).P

(&x).P
(&&x).P

(~~x).P
(~~~x).P
